English linear deduction: tłumaczenie na inne języki